Karen Yorav: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach

Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund Clarke

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 992 KB

english, 2003

2

Using Assumptions to Distribute CTL Model Checking

Luboš Brim, Jitka Crhová, Karen Yorav

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 216 KB

english, 2002

3

Test sequence generation and model checking using dynamic transition relations

Sérgio Campos, Orna Grumberg, Karen Yorav, Copty Fady

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 250 KB

english, 2004

4

Assumption-based distribution of CTL model checking

Luboš Brim, Karen Yorav, Jitka Žídková

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2005

Language:

english

File:

PDF, 1.28 MB

english, 2005

5

Haifa verification conference 2007

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 127 KB

english, 2009

6

Functional verification of power gated designs by

Cindy Eisner, Amir Nahir, Karen Yorav

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 390 KB

english, 2009

7

Preface

Armin Biere, Karen Yorav

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 117 KB

english, 2011

8

Adaptive Application of SAT Solving Techniques

Ohad Shacham, Karen Yorav

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 261 KB

english, 2006

9

Predicate Abstraction of ANSI-C Programs Using SAT

Edmund Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 215 KB

english, 2004

10

Static Analysis for State-Space Reductions Preserving Temporal Logics

Karen Yorav, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 329 KB

english, 2004

11

Syntax-directed model checking of sequential programs

Karen Yorav, Orna Grumberg

Journal:

The Journal of Logic and Algebraic Programming

Year:

2002

Language:

english

File:

PDF, 447 KB

english, 2002

12

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Scalable conditional equivalence checking: An automated invariant-generation based approach

Baumgartner, Jason, Mony, Hari, Case, Michael, Sawada, Jun, Yorav, Karen

Year:

2009

Language:

english

File:

PDF, 154 KB

english, 2009

13

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - SAT-based synthesis of clock gating functions using 3-valued abstraction

Arbel, Eli, Rokhlenko, Oleg, Yorav, Karen

Year:

2009

Language:

english

File:

PDF, 281 KB

english, 2009

14

[ACM Press the 44th annual conference - San Diego, California (2007.06.04-2007.06.08)] Proceedings of the 44th annual conference on Design automation - DAC '07 - On-the-fly resolve trace minimization

Shacham, Ohad, Yorav, Karen

Year:

2007

Language:

english

File:

PDF, 349 KB

english, 2007

15

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - Behavioral consistency of C and verilog programs using bounded model checking

Clarke, Edmund, Kroening, Daniel, Yorav, Karen

Year:

2003

Language:

english

File:

PDF, 139 KB

english, 2003